What does this PR do?

Adds concise, agent-readable model support cards for four variants:

• Qwen/Qwen3-8B
• Qwen/Qwen3-30B-A3B
• moonshotai/Moonlight-16B-A3B
• nvidia/NVIDIA-Nemotron-3-Nano-4B-BF16

It also adds the repo-local create-model-verification-card skill, its deterministic validator, and a helper for exact-length, byte-stable HF inference verification.

The cards distinguish bounded convergence evidence from benchmark-only performance evidence, pin immutable Hugging Face and dataset revisions, preserve recipe-owned GBS/MBS/LR contracts, require saved post-setup runtime configuration, and keep private executor wiring out of tracked cards and PR text.

Card contract

• Keep all twelve core items; include pretrain_performance only when the exact variant has a canonical public performance recipe.
• Use portable public launchers and short logical work/... paths.
• Pin immutable model, tokenizer, and dataset revisions plus split, seeds, and packing alignment.
• Keep recipe GBS/MBS/LR unchanged in verification commands.
• Record initial/final loss plus final-ten mean step time and model TFLOP/s/GPU for every verified training item.
• Require exact-length, byte-stable inference output from two executions.
• Verify manual forward correlation with an exact next-token match and cosine similarity at least 0.99; maximum and mean absolute logit differences remain report-only diagnostics.
• Resume directly from the uninterrupted bounded-pretrain step-50 checkpoint to step 100 in a distinct output root.
• Treat submission or a short smoke as evidence-in-progress, not verification.

Current verification status

The branch remains a draft while the remaining clean-contract workloads finish. Current head: 5ec17e4.

The three long-context items are now verified from one coherent clean-run evidence cohort:

Each completed exactly 20 optimizer steps with finite losses, zero skipped/NaN iterations, a persisted runtime config, and independently reconstructed packed-sample accounting.

Revision hardening and validation

• Hugging Face model and tokenizer revisions are persisted by the affected recipes instead of relying on mutable defaults.
• The revision-hardening patch passed 184 targeted tests and repository-wide pre-commit.
• The current long-context/card update passed all three card validators, tokenizer unit tests (9 passed), Ruff checks, the CI-equivalent secrets scan, and repository-wide pre-commit.
• Two public immutable revision literals triggered the generic high-entropy detector; narrow inline allowlist annotations now scope those known false positives to the exact literals.
• git diff --check passes, and an independent evidence review reproduced every promoted metric and supervised-token count.

Remaining work

Fresh revision-pinned bounded runs are progressing through an independently reviewed dependency DAG. The two full-SFT sources have completed their 100-step workloads and produced final checkpoints, while bounded pretrain, PEFT, direct-resume, and post-SFT export/inference paths continue. Execution state alone does not promote an item: each remains unverified until its exact optimizer-step set, finite-loss/no-skip gates, saved runtime config, checkpoint or adapter artifacts, packing/supervised-token evidence, resume sentinels, and deterministic export inference all pass.